Automated p-mode identification using Bayes' theorem
نویسندگان
چکیده
منابع مشابه
Automated Essay Scoring Using Bayes' Theorem
Two Bayesian models for text classification from the information science field were extended and applied to student produced essays. Both models were calibrated using 462 essays with two score points. The calibrated systems were applied to 80 new, pre-scored essays with 40 essays in each score group. Manipulated variables included the two models; the use of words, phrases and arguments; two app...
متن کاملP-SETHEO: Strategy Parallel Automated Theorem Proving
One of the key issues in Automated Theorem Proving is the search for optimal proof strategies. Since there is not one uniform strategy which works optimal on all proof tasks, one is faced with the diicult problem of selecting a good strategy for a given task. In this paper, we discuss a way of circumventing this strategy selection problem by using strategy parallelism. In this approach, a proof...
متن کاملBayes Theorem for Improper Priors
Improper priors are used frequently, but often formally and without reference to a sound theoretical basis. A consequence is the occurrence of seemingly paradoxical results. The most famous example is perhaps given by the marginalization paradoxes presented by Stone and Dawid (1972). It is demonstrated here that the seemingly paradoxical results are removed by a more careful formulation of the ...
متن کاملBayesian Posteriors Without Bayes' Theorem
The classical Bayesian posterior arises naturally as the unique solution of several different optimization problems, without the necessity of interpreting data as conditional probabilities and then using Bayes' Theorem. For example, the classical Bayesian posterior is the unique posterior that minimizes the loss of Shannon information in combining the prior and the likelihood distributions. The...
متن کاملBayes' Theorem for Choquet Capacities
We give an upper bound for the posterior probability of a measurable set A when the prior lies in a class of probability measures 9. The bound is a rational function of two Choquet integrals. If g; is weakly compact and is closed with respect to majorization, then the bound is sharp if and only if the upper prior probability is 2-alternating. The result is used to compute-bounds for several set...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Symposium - International Astronomical Union
سال: 1988
ISSN: 0074-1809
DOI: 10.1017/s0074180900158590